program correctness proof
[计] 程序正确性证明
热门查询
- dietitian n. （美）营养学家；饮食学家
- popularly adv. 流行地；通俗地；普及地；大众地
- colossal adj. 巨大的；异常的，非常的
- fornication n. 通奸；乱伦
- refracting adj. 折射，折射的 v. （使）折射（refract的现在分词形式）
- outshine vt. 使相形见绌；胜过；比…更亮 vi. 放光
- phospholipid n. [生化] 磷脂
- dropped v. 下降，减少；掉下，滴下（drop的过去式和过去分词形式） adj. 抛踢球得分的
- quisling n. 卖国贼；内奸 n. (Quisling)人名；(挪)吉斯林 v. 卖国；叛国（quisle的ing形式）
- flyweight n. 轻量级选手；次最轻量级选手
- decisiveness n. 果断
- Richie [男子名] 里奇 Richard的昵称
- neath prep. 在…之下
- exactly adv. 恰好地；正是；精确地；正确地
- swiftlet n. 金丝燕
- mesa n. 台地；[地理] 平顶山 n. (Mesa)人名；(意、芬、西、葡、英)梅萨
- wellspring n. 泉源；水源
- yugoslav n. 南斯拉夫人 adj. 南斯拉夫的；南斯拉夫人的
- uncommon adj. 不寻常的；罕有的 adv. 非常地
- Russo [人名] 拉索
考试词汇表
- Rrb Duchenne paralysis
- Rrb-Duchenne paralysis
- Rubber Latex Allergies
- Rubber goods assembler
- Rube Goldberg machines
- Rubia leiocaulis Diels
- Rubiadin Primeveroside
- Rubielos de la Cérida
- Rubulavirus Infections
- Rubus eucalyptus Focke
- Rubus idaeus strigosus
- Rubus yellow net virus
- Rudbeckia laciniata L.
- Rugby League World Cup
- Rugose leaf curl virus
- Ruhemann's test letter
- Ruiter Pompen syndrome
- Ruiter-Pompen syndrome
- Rule in Clayton's Case
- Rulide Dispersible Tab
